Quantitative Structural Temporal Constraints on Repeating Events

نویسندگان

  • Robert A. Morris
  • Lina Khatib
چکیده

This paper presents a model of the temporal structure of repeating events. This model allows for the representation of quantitative temporal constraints for repeating events, viz., those dealing with their part-whole structure. The temporal structure of repeating events is viewed as being composed of ve properties: number, sub-interval duration, gap duration, period and extent. A set of constraints involving these properties collectively speciies the conditions under which repeating events can be assigned times, and thus partially formalizes the scheduling problem for repeating events. The consistency and tightness of a set of such constraints can be tested by nding a solution to linear equations relating these properties to one another. These equations can also be used to infer constraints about one structural property from the others, when one or more of these constraints is unknown. This paper also introduces a new category of quantitative temporal constraints involving repeating events which speciies that the duration or period of events be distributed randomly over a set of values. Finally, integrating previous work by the same authors, rules are formulated which allow the inferring of structural constraints of one repeating event from those of another, as well as from binary relational constraints between the events.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Generating Scenarios for Periodic Events with Binary Constraints

Reasoning with repeating events diiers from reasoning about single events primarily in the fact that with the former the available information about aspects such as the number and period of the events may be in-deenite. Much useful knowledge about repeating events takes the form of relationships between \successive" occurrences of the same event, or \proximate" occurrences of pairs of repeating...

متن کامل

An intensional approach to qualitative and quantitative periodicity-dependent temporal constraints

In this paper, we propose a framework for representing and reasoning about qualitative and quantitative temporal constraints about periodic events. In particular our contribution is two-folded: (i) we provide a formalism to deal with both qualitative and quantitative “periodicity-dependent” constraints between repeated events, considering also userdefined periodicities; (ii) we propose an inten...

متن کامل

Timed Temporal Logics

Since the early 1990’s, classical temporal logics have been extended with timing constraints. While temporal logics only express contraints on the order of events, their timed extensions can add quantitative constraints on delays between those events. We survey expressiveness and algorithmic results on those logics, and discuss semantic choices that may look unimportant but do have an impact on...

متن کامل

Simple Temporal Problems with Preferences and Uncertainty

Simple Temporal Problems (STPs) are a restriction of the framework of Temporal Constraint Satisfaction Problems, tractable in polynomial time. Their expressiveness has been extended independently in two ways. First, to account for uncontrollable events, to Simple Temporal Problems with Uncertainty (STPUs). Second, more recently, to account for soft temporal preferences, to Simple Temporal Probl...

متن کامل

Periodicity-Based Temporal Constraints

We propose a framework for performing extensional and intensional temporal reasoning about qualitative and quantitative “periodicity-dependent” temporal constraints between repeated events, also considering user-defined periodicities.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998